Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
341	The Modal Problem for Descriptivism Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-10-22 10:05:08 Analytic philosophy Logic Modal logic Philosophy of language Names Saul Kripke Analytic philosophers Philosophy Logicians
342	Varieties of Belief and Probability Jan van Eijck 1 CWI and ILLC Amsterdam Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-16 07:37:33 Probability theory Knowledge Bayesian statistics Probability Bayesian probability Epistemic modal logic If and only if Mathematics Probability and statistics Science
343	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science First-order logic Isabelle Higher-order logic HOL Modal logic Unification Natural deduction Type theory Logic Mathematical logic Theoretical computer science
344	2. The Truth and Something but the Truth) Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2012-05-09 09:14:52 Veracity Theories of truth Modal logic Vacuous truth Truth Interpretation Liar paradox Epistemology Contingency Logic Philosophy Philosophical logic
345	Iterated Belief Change: A Transition System Approach Aaron Hunter and James P. Delgrande School of Computing Science Simon Fraser University Burnaby, BC, Canada {amhunter, jim}@cs.sfu.ca Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2005-06-15 17:27:45 Ethology Belief revision Knowledge representation Logic Logic programming Theory of justification Belief Constructible universe Modal logic Critical thinking Knowledge Epistemology
346	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logical syntax Formal languages Boolean algebra Well-formed formula Propositional calculus Logical connective Modal depth FO Logic Mathematical logic Modal logic
347	1 Grounding is not a strict order1 Gonzalo Rodriguez‐Pereyra University of Oxford Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2015-02-04 09:27:38 Philosophical logic Ontology Philosophy of language Semantics Modal logic Non-classical logic Proposition Truth Causality Logic Philosophy Metaphysics
348	l!soMEr~ME!l IS so&fETIMEs Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2000-07-12 18:31:52 Logic in computer science Model theory Non-classical logic Philosophical logic Modal logic Dynamic logic Temporal logic Assertion Axiom Logic Mathematical logic Mathematics
349	ARTIFICIAL INTELLIGENCE 71 Probabilistic Logic* Nils J . N i l s s o n Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:27:03 Non-classical logic Model theory Propositional calculus Logical syntax Probabilistic logic Entailment Modal logic Interpretation Probability Logic Mathematical logic Philosophical logic
350	Finding the golden thread: A new approach to articulating program logic statements \| SVA Consulting Quarterly:49 pm Finding the golden thread: A new approach to articulating program logic Add to Reading List Source URL: svaconsultingquarterly.com Language: English - Date: 2014-03-17 08:57:24 Axiology Philosophy of mathematics Knowledge Modal logic Mathematical logic Logic Science Abstraction

UPDATE